package org.gap.jseed.contract.annotation;

import static java.lang.annotation.ElementType.METHOD;

import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

@Retention(RetentionPolicy.RUNTIME)
@Target({METHOD})
public @interface Require {
	  /**
     * The set of pre-conditions to be defined on a methods contract.  Make each condition as a separate
     * string to ensure clarity of contract violations.
     */
    Condition[] value();
}
